Computer algebra - PDFSEARCH.IO - Document Search Engine

Computer algebra
Results: 2963

#	Item
551	Jed Brown Mathematics and Computer Science Division Argonne National Laboratory 9700 S Cass Ave, Bldg. 240 Argonne, IL 60439, USA Add to Reading List Source URL: 59a2.org Language: English - Date: 2012-11-21 21:07:08 Fairbanks North Star Borough Alaska Academia Science Argonne National Laboratory University of Alaska Fairbanks University of Alaska System Arctic Region Supercomputing Center Fairbanks Alaska SIAM Journal on Scientific Computing Association of Public and Land-Grant Universities Numerical linear algebra Portable Extensible Toolkit for Scientific Computation
552	NEG Electronic Application System (eSystem) User Guide Add to Reading List Source URL: www.doleta.gov Language: English - Date: 2015-05-19 14:27:07 Logic in computer science Automated theorem proving Boolean algebra Rules of inference
553	On Decision Procedures for Ordered Collections Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-02-08 11:12:45 Elementary mathematics Cardinal numbers Boolean algebra Mathematical optimization Integer Finite set NP Cardinality Boolean satisfiability problem Mathematics Theoretical computer science Complexity classes
554	Version 1.0 Open X and Arm David May: April 25, 2013 Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2013-05-02 09:46:47 C programming language Procedural programming languages Algebra Machine code Mathematical notation Operand DEC Alpha Stack C Computing Software engineering Computer programming
555	NonNon-Isomorphic Interaction in 3D User Interfaces Joseph J. LaViola Jr. Brown University Computer Graphics Lab Add to Reading List Source URL: people.cs.vt.edu Language: English - Date: 2008-07-17 13:35:02 Linear algebra Rotational symmetry Transformation Orientation Quaternion Rotation Linear map Vector space Charts on SO Algebra Mathematics Abstract algebra
556	Fast Global Labeling for Real-Time Stereo Using Multiple Plane Sweeps Christopher Zach, David Gallup, Jan-Michael Frahm and Marc Niethammer Department of Computer Science University of North Carolina at Chapel Hill Email Add to Reading List Source URL: www.cs.unc.edu Language: English - Date: 2012-02-03 00:48:39 Group theory Abstract algebra Differential calculus Energy minimization Operations research Vector space Calculus of variations Constructible universe Derivative Algebra Mathematics Linear algebra
557	The Portable Extensible Toolkit for Scientific computing This talk: http://59A2.org/filesTACC.pdf Jed Brown Mathematics and Computer Science Division, Argonne National Laboratory TACC Add to Reading List Source URL: 59a2.org Language: English - Date: 2012-02-20 09:46:43 Numerical analysis Portable Extensible Toolkit for Scientific Computation SLEPc OOFEM FEniCS Project Lis Computer cluster JUGENE Preconditioner Numerical linear algebra Software Computing
558	RAPID COMMUNICATIONS PHYSICAL REVIEW A 90, RRolling quantum dice with a superconducting qubit R. Barends,1 J. Kelly,1 A. Veitia,2 A. Megrant,1 A. G. Fowler,1,3 B. Campbell,1 Y. Chen,1 Z. Chen,1 B. Chiaro Add to Reading List Source URL: www.ee.ucr.edu Language: English - Date: 2014-09-26 21:53:23 Finite groups Mathematics Deltahedra Platonic solids Quantum information science Octahedral symmetry Tetrahedral symmetry Quantum computer Tetrahedron Rotational symmetry Geometry Abstract algebra
559	Version 1.0 X and Hex David May: May 6, 2014 The X Language Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2014-05-06 09:48:01 Algebra Machine code Mathematical notation Operand Logical connective Instruction set DEC Alpha IJVM PILOT Computer architecture Computing Instruction set architectures
560	Computer Science in Algebra powered by Bootstrap Why Computer Science? Every 21st century student should have Add to Reading List Source URL: code.org Language: English - Date: 2015-05-13 18:55:46

UPDATE